LUPS—A language for updating logic programs
نویسندگان
چکیده
منابع مشابه
LUPS - A Language for Updating Logic Programs
Most of the work conducted so far in the field of logic programming has focused on representing static knowledge, i.e. knowledge that does not evolve with time. To overcome this limitation, in a recent paper, the authors introduced dynamic logic programming. There, they studied and defined the declarative and operational semantics of sequences of logic programs (or dynamic logic programs). Each...
متن کاملUpdating Epistemic Logic Programs
We consider the problem of updating nonmonotonic knowledge bases represented by epistemic logic programs where disjunctive information and notions of knowledge and belief can be explicitly expressed. We propose a formulation for epistemic logic program update based on a principle called minimal change and maximal coherence. The central feature of our approach is that during an update or a seque...
متن کاملUpdating Logic Programs
It is well known that rule-based knowledge bases are usually realized by logic programs. An update has to be performed to the current knowledge base if some new information occurs. In many applications associated with dynamic domains, however, such new information may occur not only as a set of simple facts but also a set of rules. In this paper, we view knowledge bases as extended logic progra...
متن کاملUpdating Extended Logic Programs through Abduction
This paper introduces techniques for updating knowledge bases represented in extended logic programs. Three different types of updates, view updates, theory updates, and inconsistency removal, are considered. We formulate these updates through abduction, and provide methods for computing them with update programs. An update program is an extended logic program which specifies changes on abducti...
متن کاملA Preference-Based Framework for Updating Logic Programs
We present a framework for updating logic programs under the answer-set semantics that builds on existing work on preferences in logic programming. The approach is simple and general, making use of two distinct complementary techniques: defaultification and preference. While defaultification resolves potential conflicts by inducing more answer sets, preferences then select among these answer se...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2002
ISSN: 0004-3702
DOI: 10.1016/s0004-3702(02)00183-2